A Novel Spatial–Temporal Specification-Based Monitoring System for Smart Cities

With the development of Internet Things, millions sensors are being deployed in cities to collect real-time data. This leads a need for checking city states against requirements at runtime. In this article, we develop novel spatial-temporal specification-based monitoring system smart cities. We first describe study over 1000 requirements, some which cannot be specified using existing logic, such as signal temporal logic (STL) and its variants. To tackle limitation, spatial aggregation STL (SaSTL)-a STL-for efficient runtime safety performance two new logical operators SaSTL augment expressing counting characteristics that commonly found real requirements. define Boolean quantitative semantics support analysis across different periods locations. also algorithms can check requirement parallel multiple data streams (e.g., generated by distributed spatially city). Additionally, build an SaSTL-based tool decision making stakeholders specify monitor their evaluate our applying it three case studies with large-scale sensing up 10 000 one study). The results show has much higher coverage expressiveness than other logics, significant reduction computation time demonstrate improves via simulated experiments.